| location |
| trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/pthread_mutex_mutexattr_scenario.utz (pthread_mutex_mutexattr_scenario.utt), line 215 |
| occurence |
| scenario |
pthread_mutex_mutexattr_scenario |
| specification function |
pthread_mutexattr_gettype_spec() |
| parameter value |
CallContext context = [pid=6139,thr=b7569700] |
| parameter value |
PThreadMutexAttrTPtr attr = struct PThreadMutexAttrTPtr { system=0, process=6139, address=157127176 } |
| parameter value |
IntT * @type = <0xbf990848>ptr to 166592003 |
| parameter value |
IntT * type = <0xbf990848>ptr to 512 |
| return value |
(ErrorCode *) EOK |
coverage
& branch |
C
PTHREAD_MUTEX_NORMAL |
| properties |
| REQ failed |
pthread_mutexattr_gettype.01.01 |
| kind |
POSTCONDITION_FAILED |